Free shipping on all orders! No minimum purchase required.
Logic Programming and Nonmonotonic Reasoning
by J. Dix (Editor), Ulrich Fuhrbach (Editor), Anil Nerode (Editor)